Enhancing the management of resource-aware business processes

The resource perspective has received much less attention than other business process (BP) perspectives, e.g., control flow. This thesis focuses on human resource management in BPs, and addresses challenges related to resource specification and resource analysis. In particular, it introduces novel techniques for resource specification, which rely on a new resource selection language called RAL; and it provides automated support for a set of analysis operations at design time and at run time based on the formal semantics of RAL defined in description logics (DLs), by leveraging existing DL reasoners. All the contributions have been validated.